An Analysis of the Equational Properties of the Well-Founded Fixed Point
نویسندگان
چکیده
Well-founded fixed points have been used in several areas of knowledge representation and reasoning and to give semantics to logic programs involving negation. They are an important ingredient of approximation fixed point theory. We study the logical properties of the (parametric) well-founded fixed point operation. We show that the operation satisfies several, but not all of the equational properties of fixed point operations described by the axioms of iteration theories.
منابع مشابه
Common fixed points of four maps using generalized weak contractivity and well-posedness
In this paper, we introduce the concept of generalized -contractivityof a pair of maps w.r.t. another pair. We establish a common fixed point result fortwo pairs of self-mappings, when one of these pairs is generalized -contractionw.r.t. the other and study the well-posedness of their fixed point problem. Inparticular, our fixed point result extends the main result of a recent paper ofQingnian ...
متن کاملAIOSC: Analytical Integer Word-length Optimization based on System Characteristics for Recursive Fixed-point LTI Systems
The integer word-length optimization known as range analysis (RA) of the fixed-point designs is a challenging problem in high level synthesis and optimization of linear-time-invariant (LTI) systems. The analysis has significant effects on the resource usage, accuracy and efficiency of the final implementation, as well as the optimization time. Conventional methods in recursive LTI systems suffe...
متن کاملExistence and uniqueness of the solution for a general system of operator equations in $b-$metric spaces endowed with a graph
The purpose of this paper is to present some coupled fixed point results on a metric space endowed with two $b$-metrics. We shall apply a fixed point theorem for an appropriate operator on the Cartesian product of the given spaces endowed with directed graphs. Data dependence, well-posedness and Ulam-Hyers stability are also studied. The results obtained here will be applied to prove the existe...
متن کاملCOUPLED FIXED POINT THEOREMS FOR RATIONAL TYPE CONTRACTIONS VIA C-CLASS FUNCTIONS
In this paper, by using C-class functions, we will present a coupled xed problem in b-metric space for the single-valued operators satisfying a generalized contraction condition. First part of the paper is related to some xed point theorems, the second part presents the uniqueness and existence for the solution of the coupled xed point problem and in the third part we...
متن کاملCoincidence point and common fixed point results via scalarization function
The main purpose of this paper is to obtain sufficient conditions for existence of points of coincidence and common fixed points for three self mappings in $b$-metric spaces. Next, we obtain cone $b$-metric version of these results by using a scalarization function. Our results extend and generalize several well known comparable results in the existing literature.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Log. Algebr. Meth. Program.
دوره 86 شماره
صفحات -
تاریخ انتشار 2016